Filtros : "IME-USP" "IME-MAC" Limpar

Filtros



Refine with date range


  • Unidades: IME, EACH

    Assunto: ESTATÍSTICA APLICADA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALENCAR, Airlane Pereira et al. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf. Acesso em: 22 maio 2024. , 2022
    • APA

      Alencar, A. P., Sandrim, D. C., Melo, A. C. V. de, Lacerda, T. C. de O., & Rocha, F. M. M. da. (2022). Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
    • NLM

      Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
    • Vancouver

      Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
  • Unidade: IME

    Subjects: MOBILIDADE URBANA, ACESSIBILIDADE AO MEIO FÍSICO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BARGUIL, João Marcos de Mattos et al. Comparative analysis of urban accessibility for people with restricted mobility. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/260f3181-08a9-4ccb-a822-878f025ce666/2894424.pdf. Acesso em: 22 maio 2024. , 2018
    • APA

      Barguil, J. M. de M., Elias, E. M. de, Cardoso, I. C., Martins, T. G., Mayrink, V. T. de M., Kon, F., & Silva, F. S. C. da. (2018). Comparative analysis of urban accessibility for people with restricted mobility. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/260f3181-08a9-4ccb-a822-878f025ce666/2894424.pdf
    • NLM

      Barguil JM de M, Elias EM de, Cardoso IC, Martins TG, Mayrink VT de M, Kon F, Silva FSC da. Comparative analysis of urban accessibility for people with restricted mobility [Internet]. 2018 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/260f3181-08a9-4ccb-a822-878f025ce666/2894424.pdf
    • Vancouver

      Barguil JM de M, Elias EM de, Cardoso IC, Martins TG, Mayrink VT de M, Kon F, Silva FSC da. Comparative analysis of urban accessibility for people with restricted mobility [Internet]. 2018 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/260f3181-08a9-4ccb-a822-878f025ce666/2894424.pdf
  • Unidade: IME

    Subjects: COMPUTAÇÃO APLICADA, TECNOLOGIA, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Soft institutions - a platform to design and implement socio-technical systems. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/244499fc-eb23-4bee-9786-2c6a0c118aed/2897405.pdf. Acesso em: 22 maio 2024. , 2017
    • APA

      Silva, F. S. C. da, Papapanagiotou, P., Murray-Rust, D., & Robertson, D. S. (2017). Soft institutions - a platform to design and implement socio-technical systems. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/244499fc-eb23-4bee-9786-2c6a0c118aed/2897405.pdf
    • NLM

      Silva FSC da, Papapanagiotou P, Murray-Rust D, Robertson DS. Soft institutions - a platform to design and implement socio-technical systems [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/244499fc-eb23-4bee-9786-2c6a0c118aed/2897405.pdf
    • Vancouver

      Silva FSC da, Papapanagiotou P, Murray-Rust D, Robertson DS. Soft institutions - a platform to design and implement socio-technical systems [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/244499fc-eb23-4bee-9786-2c6a0c118aed/2897405.pdf
  • Unidade: IME

    Subjects: SEGURANÇA DE REDES, CRIPTOLOGIA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Blockchain meets social computers. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/776447a3-6947-49a0-a769-0022f8c632d6/2902398.pdf. Acesso em: 22 maio 2024. , 2017
    • APA

      Silva, F. S. C. da, Barguil, J. M. de M., Robertson, D. S., Vasconcelos, W., & Araújo, C. J. A. de. (2017). Blockchain meets social computers. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/776447a3-6947-49a0-a769-0022f8c632d6/2902398.pdf
    • NLM

      Silva FSC da, Barguil JM de M, Robertson DS, Vasconcelos W, Araújo CJA de. Blockchain meets social computers [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/776447a3-6947-49a0-a769-0022f8c632d6/2902398.pdf
    • Vancouver

      Silva FSC da, Barguil JM de M, Robertson DS, Vasconcelos W, Araújo CJA de. Blockchain meets social computers [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/776447a3-6947-49a0-a769-0022f8c632d6/2902398.pdf
  • Unidades: IME, EP

    Subjects: COMPUTAÇÃO APLICADA, SEGURANÇA NOS TRANSPORTES

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Hazard identification for coordinated UAVs based on soft institutions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/17952c2c-f082-4732-b1e7-e60b2055302a/2902364.pdf. Acesso em: 22 maio 2024. , 2017
    • APA

      Silva, F. S. C. da, Chung, P. W. H., Zuffo, M. K., Papapanagiotou, P., Robertson, D. S., & Vasconcelos, W. (2017). Hazard identification for coordinated UAVs based on soft institutions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/17952c2c-f082-4732-b1e7-e60b2055302a/2902364.pdf
    • NLM

      Silva FSC da, Chung PWH, Zuffo MK, Papapanagiotou P, Robertson DS, Vasconcelos W. Hazard identification for coordinated UAVs based on soft institutions [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/17952c2c-f082-4732-b1e7-e60b2055302a/2902364.pdf
    • Vancouver

      Silva FSC da, Chung PWH, Zuffo MK, Papapanagiotou P, Robertson DS, Vasconcelos W. Hazard identification for coordinated UAVs based on soft institutions [Internet]. 2017 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/17952c2c-f082-4732-b1e7-e60b2055302a/2902364.pdf
  • Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GEROSA, Marco Aurélio et al. O que é inovação e P&D na indústria de software?. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/6e2f91f5-a56b-4cfa-a185-d29cc6ae19e2/2740537.pdf. Acesso em: 22 maio 2024. , 2016
    • APA

      Gerosa, M. A., Silva, A. C. da, Marana, A. N., Maziero, C. A., Rubira, C. M. F., Macedo, D. D. J. de, et al. (2016). O que é inovação e P&D na indústria de software? São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/6e2f91f5-a56b-4cfa-a185-d29cc6ae19e2/2740537.pdf
    • NLM

      Gerosa MA, Silva AC da, Marana AN, Maziero CA, Rubira CMF, Macedo DDJ de, Matos JP, Granville LZ, Vijaykumar NL, Geus PL de, Correa RV, Lotufo RDA, Kenchian G, Filgueiras Filho TE. O que é inovação e P&D na indústria de software? [Internet]. 2016 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/6e2f91f5-a56b-4cfa-a185-d29cc6ae19e2/2740537.pdf
    • Vancouver

      Gerosa MA, Silva AC da, Marana AN, Maziero CA, Rubira CMF, Macedo DDJ de, Matos JP, Granville LZ, Vijaykumar NL, Geus PL de, Correa RV, Lotufo RDA, Kenchian G, Filgueiras Filho TE. O que é inovação e P&D na indústria de software? [Internet]. 2016 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/6e2f91f5-a56b-4cfa-a185-d29cc6ae19e2/2740537.pdf
  • Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, EMPREENDEDORISMO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CUKIER, Daniel e KON, Fábio e KRUEGER, Norris. Towards a software startup ecosystems maturity model. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/7113aeea-c092-475e-a429-f2ea7777d535/2738957.pdf. Acesso em: 22 maio 2024. , 2015
    • APA

      Cukier, D., Kon, F., & Krueger, N. (2015). Towards a software startup ecosystems maturity model. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/7113aeea-c092-475e-a429-f2ea7777d535/2738957.pdf
    • NLM

      Cukier D, Kon F, Krueger N. Towards a software startup ecosystems maturity model [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/7113aeea-c092-475e-a429-f2ea7777d535/2738957.pdf
    • Vancouver

      Cukier D, Kon F, Krueger N. Towards a software startup ecosystems maturity model [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/7113aeea-c092-475e-a429-f2ea7777d535/2738957.pdf
  • Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, EMPREENDEDORISMO, DESENVOLVIMENTO DE SOFTWARE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      KON, Fábio et al. A conceptual framework for software startup ecosystems: the case of Israel. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3275191a-a51f-46be-837e-f671f4ee1d9f/2708467.pdf. Acesso em: 22 maio 2024. , 2015
    • APA

      Kon, F., Cukier, D., Melo, C. de O., Hazzan, O., & Yuklea, H. (2015). A conceptual framework for software startup ecosystems: the case of Israel. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3275191a-a51f-46be-837e-f671f4ee1d9f/2708467.pdf
    • NLM

      Kon F, Cukier D, Melo C de O, Hazzan O, Yuklea H. A conceptual framework for software startup ecosystems: the case of Israel [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/3275191a-a51f-46be-837e-f671f4ee1d9f/2708467.pdf
    • Vancouver

      Kon F, Cukier D, Melo C de O, Hazzan O, Yuklea H. A conceptual framework for software startup ecosystems: the case of Israel [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/3275191a-a51f-46be-837e-f671f4ee1d9f/2708467.pdf
  • Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, INTELIGÊNCIA ARTIFICIAL

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. LS3C: the lightweight, situated, stateful social calculus. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/d4fe87b3-8258-4060-a6ee-258002c04a14/2738948.pdf. Acesso em: 22 maio 2024. , 2015
    • APA

      Silva, F. S. C. da, Robertson, D. S., Vasconcelos, W. W. M. P. de, Chung, P. W. H., Murray-Rust, D., & Papapanagiotou, P. (2015). LS3C: the lightweight, situated, stateful social calculus. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/d4fe87b3-8258-4060-a6ee-258002c04a14/2738948.pdf
    • NLM

      Silva FSC da, Robertson DS, Vasconcelos WWMP de, Chung PWH, Murray-Rust D, Papapanagiotou P. LS3C: the lightweight, situated, stateful social calculus [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/d4fe87b3-8258-4060-a6ee-258002c04a14/2738948.pdf
    • Vancouver

      Silva FSC da, Robertson DS, Vasconcelos WWMP de, Chung PWH, Murray-Rust D, Papapanagiotou P. LS3C: the lightweight, situated, stateful social calculus [Internet]. 2015 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/d4fe87b3-8258-4060-a6ee-258002c04a14/2738948.pdf
  • Unidades: IME, EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 22 maio 2024. , 2014
    • APA

      De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
    • NLM

      De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
    • Vancouver

      De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
  • Unidade: IME

    Subjects: PROGRAMAÇÃO MATEMÁTICA, C++ (LINGUAGEM DE PROGRAMAÇÃO), SOFTWARE LIVRE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVEIRA FILHO, Fernando Mário de. SDPSL: a semidefinite programming specification library [Programa de Computador]. . São Paulo: IME-USP. Disponível em: http://www.ime.usp.br/~fmario/sdpsl/index.html. Acesso em: 22 maio 2024. , 2014
    • APA

      Oliveira Filho, F. M. de. (2014). SDPSL: a semidefinite programming specification library [Programa de Computador]. São Paulo: IME-USP. Recuperado de http://www.ime.usp.br/~fmario/sdpsl/index.html
    • NLM

      Oliveira Filho FM de. SDPSL: a semidefinite programming specification library [Programa de Computador] [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: http://www.ime.usp.br/~fmario/sdpsl/index.html
    • Vancouver

      Oliveira Filho FM de. SDPSL: a semidefinite programming specification library [Programa de Computador] [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: http://www.ime.usp.br/~fmario/sdpsl/index.html
  • Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, COMPUTAÇÃO APLICADA, INTERAÇÃO USUÁRIO-COMPUTADOR

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da e VASCONCELOS, Wamberto Weber Miranda Peixoto de e ROBERTSON, David S. Towards a computer aided science of interactions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/2476594.pdf. Acesso em: 22 maio 2024. , 2014
    • APA

      Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, & Robertson, D. S. (2014). Towards a computer aided science of interactions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/2476594.pdf
    • NLM

      Silva FSC da, Vasconcelos WWMP de, Robertson DS. Towards a computer aided science of interactions [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/2476594.pdf
    • Vancouver

      Silva FSC da, Vasconcelos WWMP de, Robertson DS. Towards a computer aided science of interactions [Internet]. 2014 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/2476594.pdf
  • Unidade: IME

    Assunto: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LEITE, Leonardo et al. An adaptive enactment engine for complex service compositions on the cloud. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/aecb1b27-5b33-4437-aca3-074ee891afa4/2439194.pdf. Acesso em: 22 maio 2024. , 2013
    • APA

      Leite, L., Lago, N., Furtado, T., Moreira, C. E., Cordeiro, D., Batista, D. M., et al. (2013). An adaptive enactment engine for complex service compositions on the cloud. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/aecb1b27-5b33-4437-aca3-074ee891afa4/2439194.pdf
    • NLM

      Leite L, Lago N, Furtado T, Moreira CE, Cordeiro D, Batista DM, Gerosa MA, Kon F. An adaptive enactment engine for complex service compositions on the cloud [Internet]. 2013 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/aecb1b27-5b33-4437-aca3-074ee891afa4/2439194.pdf
    • Vancouver

      Leite L, Lago N, Furtado T, Moreira CE, Cordeiro D, Batista DM, Gerosa MA, Kon F. An adaptive enactment engine for complex service compositions on the cloud [Internet]. 2013 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/aecb1b27-5b33-4437-aca3-074ee891afa4/2439194.pdf
  • Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da e ROBERTSON, David S e VASCONCELOS, Wamberto. Experimental interaction science. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3b2d40d8-3d82-49cc-bccc-aa00e8eb5df9/2439198.pdf. Acesso em: 22 maio 2024. , 2013
    • APA

      Silva, F. S. C. da, Robertson, D. S., & Vasconcelos, W. (2013). Experimental interaction science. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3b2d40d8-3d82-49cc-bccc-aa00e8eb5df9/2439198.pdf
    • NLM

      Silva FSC da, Robertson DS, Vasconcelos W. Experimental interaction science [Internet]. 2013 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/3b2d40d8-3d82-49cc-bccc-aa00e8eb5df9/2439198.pdf
    • Vancouver

      Silva FSC da, Robertson DS, Vasconcelos W. Experimental interaction science [Internet]. 2013 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/3b2d40d8-3d82-49cc-bccc-aa00e8eb5df9/2439198.pdf
  • Unidade: IME

    Assunto: REDES DE COMPUTADORES

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FLORIANO, Paulo H e ARANTES, Luciana Bezerra e GOLDMAN, Alfredo. Condições de conectividade de algoritmos de exclusão mútua em redes dinâmicas. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/7f9a909d-7723-4295-beaa-a30c179eac51/2284631.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Floriano, P. H., Arantes, L. B., & Goldman, A. (2012). Condições de conectividade de algoritmos de exclusão mútua em redes dinâmicas. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/7f9a909d-7723-4295-beaa-a30c179eac51/2284631.pdf
    • NLM

      Floriano PH, Arantes LB, Goldman A. Condições de conectividade de algoritmos de exclusão mútua em redes dinâmicas [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/7f9a909d-7723-4295-beaa-a30c179eac51/2284631.pdf
    • Vancouver

      Floriano PH, Arantes LB, Goldman A. Condições de conectividade de algoritmos de exclusão mútua em redes dinâmicas [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/7f9a909d-7723-4295-beaa-a30c179eac51/2284631.pdf
  • Unidade: IME

    Assunto: PROTOCOLOS DE COMUNICAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Studying the behavior of JamSession interaction protocols using SPIN. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e260f637-4f2e-4a12-8748-a4760443ca64/2290695.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Fernández Venero, M. L., & Silva, F. S. C. da. (2012). Studying the behavior of JamSession interaction protocols using SPIN. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/e260f637-4f2e-4a12-8748-a4760443ca64/2290695.pdf
    • NLM

      Fernández Venero ML, Silva FSC da. Studying the behavior of JamSession interaction protocols using SPIN [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/e260f637-4f2e-4a12-8748-a4760443ca64/2290695.pdf
    • Vancouver

      Fernández Venero ML, Silva FSC da. Studying the behavior of JamSession interaction protocols using SPIN [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/e260f637-4f2e-4a12-8748-a4760443ca64/2290695.pdf
  • Unidade: IME

    Assunto: PROTOCOLOS DE COMUNICAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. A formal semantics for the JamSession coordination platform. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/857f68f5-29a8-49c3-afd4-c9f4726b37b3/2290697.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Fernández Venero, M. L., & Silva, F. S. C. da. (2012). A formal semantics for the JamSession coordination platform. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/857f68f5-29a8-49c3-afd4-c9f4726b37b3/2290697.pdf
    • NLM

      Fernández Venero ML, Silva FSC da. A formal semantics for the JamSession coordination platform [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/857f68f5-29a8-49c3-afd4-c9f4726b37b3/2290697.pdf
    • Vancouver

      Fernández Venero ML, Silva FSC da. A formal semantics for the JamSession coordination platform [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/857f68f5-29a8-49c3-afd4-c9f4726b37b3/2290697.pdf
  • Unidade: IME

    Assunto: MÉTODOS ÁGEIS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MELO, Claudia de Oliveira et al. Métodos ágeis no Brasil: estado da prática em time e organizações. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/0c498319-490b-457b-865b-da161061981c/2290700.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Melo, C. de O., Santos, V. A., Corbucci, H., Katayama, E., Goldman, A., & Kon, F. (2012). Métodos ágeis no Brasil: estado da prática em time e organizações. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/0c498319-490b-457b-865b-da161061981c/2290700.pdf
    • NLM

      Melo C de O, Santos VA, Corbucci H, Katayama E, Goldman A, Kon F. Métodos ágeis no Brasil: estado da prática em time e organizações [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/0c498319-490b-457b-865b-da161061981c/2290700.pdf
    • Vancouver

      Melo C de O, Santos VA, Corbucci H, Katayama E, Goldman A, Kon F. Métodos ágeis no Brasil: estado da prática em time e organizações [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/0c498319-490b-457b-865b-da161061981c/2290700.pdf
  • Unidade: IME

    Assunto: DESENVOLVIMENTO DE SOFTWARE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BESSON, Felipe M e LEAL, Pedro M. B e KON, Fábio. Rehearsal: a framework for automated testing of choreographies. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/60ed4fd5-82be-476c-a306-a7467eefe67f/2284639.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Besson, F. M., Leal, P. M. B., & Kon, F. (2012). Rehearsal: a framework for automated testing of choreographies. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/60ed4fd5-82be-476c-a306-a7467eefe67f/2284639.pdf
    • NLM

      Besson FM, Leal PMB, Kon F. Rehearsal: a framework for automated testing of choreographies [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/60ed4fd5-82be-476c-a306-a7467eefe67f/2284639.pdf
    • Vancouver

      Besson FM, Leal PMB, Kon F. Rehearsal: a framework for automated testing of choreographies [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/60ed4fd5-82be-476c-a306-a7467eefe67f/2284639.pdf
  • Unidade: IME

    Assunto: DESENVOLVIMENTO DE SOFTWARE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SANTOS, Viviane e GOLDMAN, Alfredo. Fostering inter-team knowledge sharing effectiveness in Agile software development. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/507ad19a-5a10-43b0-90bf-cda77f8c0bec/2284637.pdf. Acesso em: 22 maio 2024. , 2012
    • APA

      Santos, V., & Goldman, A. (2012). Fostering inter-team knowledge sharing effectiveness in Agile software development. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/507ad19a-5a10-43b0-90bf-cda77f8c0bec/2284637.pdf
    • NLM

      Santos V, Goldman A. Fostering inter-team knowledge sharing effectiveness in Agile software development [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/507ad19a-5a10-43b0-90bf-cda77f8c0bec/2284637.pdf
    • Vancouver

      Santos V, Goldman A. Fostering inter-team knowledge sharing effectiveness in Agile software development [Internet]. 2012 ;[citado 2024 maio 22 ] Available from: https://repositorio.usp.br/directbitstream/507ad19a-5a10-43b0-90bf-cda77f8c0bec/2284637.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024